perm filename TMP.DVI[MF,DEK]1 blob
sn#619066 filedate 1981-10-20 generic text, type T, neo UTF8
@@@?␈␈x␈fr@¬!∩αSl7 7XLW⊂HS⊂_ ∩αL'∪@_d(HY↓2αL&SP~ G# →$(HY↓2αd(*∪*αp"∃I∃X&QED "RkY↓2αd(HY↓*ελ3Y2αL2αd(HY↓2αa2@⊃fPI 2@3 PX H∧) ↔&C_!0Iλr@8 PX H?y9 0F3H_!0I$2@↓ PX H⊂) ␈},3⊂_ ⊂X H⊂y β¬h(B$ε0J↓⊗__N&λ(Jλ J $ ∀λ!a0I 2GR*∃!a0I RGR
∃!!0I rGS
∃#!0I ↓∩H∪λD0Ba∩@αa0I ↓PX Jx(B%@Ba∩@∧a0I αPX J↓8(B%`Ba∩@εa0I βPX J↓x(B%↓Ba∩@λa0I ∧PX Jα8(B%↓ Ba∩@
a0I ¬PX Jαx(B%↓@Ba∩@ a0I εPX Jβ8(B%↓`Ba∩@∞a0I πPX Jβx(B%αBa∩@⊂a0I λPX J∧8(B%α Ba∩@∩a0I PX J∧x(B%α@Ba∩@∀a0I
PX J¬8(B%α`Ba∩@⊗a0I PX J¬x(B%βBa∩@_a0I PX Jε8(B%β Ba∩@~a0I
PX Jεx(B%β@Ba∩@≤a0I ∞PX Jπ8(B%β`Ba∩@≡a0I ∂PX Jπx(B%∧Ba∩@ a0I ⊂PX Jλ8(B%∧ Ba∩@"a0I ⊃PX Jλx(B%∧@Ba∩@$a0I ∩PX J 8(B%∧`Ba∩@&a0I ∪PX J x(B%¬Ba∩@(a0I ∀PX J
8(B%¬ Ba∩@*a0I ∃PX J
x(B%¬@Ba∩@,a0I ⊗PX J 8(B%¬`Ba∩@.a0I ↔PX J x(B%εBa∩@0a0I _PX J 8(B%ε H¬DH PpX J Y
i∃λ(⊂pX J i
i¬λ(⊂PX J y
iEλ(⊃PX J
D #!0I
r@4 PY←∩@ P(_`r,βCX>@λ0⊗_>@↓QI∀8λ>@β⊃I∀8*∪j∂x␈␈␈pk0λow{⎇xow{⎇x